\relax 
\newlabel{alg:podm1}{{Ca}{2}}
\newlabel{alg:podm2}{{Cb}{2}}
\newlabel{lemma:zachovani}{{1}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Equality tree s odpadl\IeC {\'\i }kem}}{3}}
\newlabel{fig:odpadlik2-dk}{{1}{3}}
\newlabel{lemma:forwardshift}{{2}{3}}
\newlabel{lemma:odtrzeninotSL}{{3}{3}}
\newlabel{lemma:odpadlik2}{{4}{3}}
\newlabel{lemma:odpadlik2:A}{{A}{4}}
\newlabel{lemma:ontimeSE}{{5}{4}}
\newlabel{lemma:splitpoposunu}{{6}{4}}
\newlabel{sec:lemma:splitpoposunu1}{{2}{5}}
\newlabel{ontime}{{1}{5}}
\newlabel{item:odpadlikocasek}{{2(a)i}{5}}
\newlabel{item:backward}{{2b}{6}}
\newlabel{item:backwardB}{{2(b)ii}{6}}
